how to eliminate arbitrary constants